Jieh Hsiang : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (58)
Les plus populaires
Liste
- Liste
- Tableau

1

On rewrite programs: Semantics and relationship with prolog

Maria Paola Bonacina, Jieh Hsiang

Journal:

The Journal of Logic Programming

Année:

1992

Langue:

english

Fichier:

PDF, 1.86 MB

english, 1992

2

Patent classification by fine-tuning BERT language model

Lee, Jieh-Sheng, Hsiang, Jieh

Journal:

World Patent Information

Année:

2020

Fichier:

PDF, 326 KB

2020

3

Discovering relationships from imperial court documents of Qing China

Hsiang, Jieh, Chen, Shih-Pei, Ho, Hou-Ieong, Tu, Hsieh-Chang

Journal:

International Journal of Humanities and Arts Computing

Année:

2012

Langue:

english

Fichier:

PDF, 1.85 MB

english, 2012

4

Refutational theorem proving using term-rewriting systems

Journal:

Artificial Intelligence

Année:

1985

Langue:

english

Fichier:

PDF, 1.99 MB

english, 1985

5

[IEEE 2012 7th IEEE International Conference on Nano/Micro Engineered and Molecular Systems (NEMS) - Kyoto, Japan (2012.03.5-2012.03.8)] 2012 7th IEEE International Conference on Nano/Micro Engineered and Molecular Systems (NEMS) - Design of a small wankel engine

Yang, Lung-Jieh, Wang, Tsan-Hsiang

Année:

2012

Langue:

english

Fichier:

PDF, 1007 KB

english, 2012

6

Solution-processed transparent blue organic light-emitting diodes with graphene as the top cathode

Chang, Jung-Hung, Lin, Wei-Hsiang, Wang, Po-Chuan, Taur, Jieh-I, Ku, Ting-An, Chen, Wei-Ting, Yan, Shiang-Jiuan, Wu, Chih-I

Journal:

Scientific Reports

Année:

2015

Langue:

english

Fichier:

PDF, 1.46 MB

english, 2015

7

A Lithium-Ion Battery Simulator Based on a Diffusion and Switching Overpotential Hybrid Model for Dynamic Discharging Behavior and Runtime Predictions

Dung, Lan-Rong, Yuan, Hsiang-Fu, Yen, Jieh-Hwang, She, Chien-Hua, Lee, Ming-Han

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 1.72 MB

english, 2016

8

ENERGY-LEVEL SCHEME AND TRANSITION PROBABILITIES OF S-LIKE IONS

HSIANG-SHUN CHOU, JIEH-YI CHANG, YUN-HSIUNG CHANG, KEH-NING HUANG

Journal:

Atomic Data and Nuclear Data Tables

Année:

1996

Langue:

english

Fichier:

PDF, 6.94 MB

english, 1996

9

Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover

Maria Paola Bonacina, Jieh Hsiang

Journal:

Journal of Symbolic Computation

Année:

1995

Fichier:

PDF, 1.00 MB

1995

10

PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems

HANTAO ZHANG, MARIA PAOLA BONACINA, JIEH HSIANG

Journal:

Journal of Symbolic Computation

Année:

1996

Langue:

english

Fichier:

PDF, 593 KB

english, 1996

11

Automatic inductive theorem proving using prolog

Jieh Hsiang, Mandayam Srivas

Journal:

Theoretical Computer Science

Année:

1987

Langue:

english

Fichier:

PDF, 1.63 MB

english, 1987

12

Towards a foundation of completion procedures as semidecision procedures

Maria Paola Bonacina, Jieh Hsiang

Journal:

Theoretical Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 3.35 MB

english, 1995

13

Occurrence of histamine and histamine-forming bacteria in kimchi products in Taiwan

Yung-Hsiang Tsai, Hsien-Feng Kung, Qing-Lin Lin, Jieh-Horng Hwang, Shou-Hsun Cheng, Cheng-I Wei, Deng-Fwu Hwang

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 253 KB

english, 2005

14

On the hardness of counting problems of complete mappings

Jieh Hsiang, D.Frank Hsu, Yuh-Pyng Shieh

Journal:

Discrete Mathematics

Année:

2004

Langue:

english

Fichier:

PDF, 245 KB

english, 2004

15

Foreword

Journal:

Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 64 KB

english, 1998

16

Editorial

Leo Bachmair, Jieh Hsiang

Journal:

Journal of Symbolic Computation

Année:

1991

Langue:

english

Fichier:

PDF, 94 KB

english, 1991

17

Rewrite method for theorem proving in first order theory with equality

Journal:

Journal of Symbolic Computation

Année:

1987

Langue:

english

Fichier:

PDF, 1.09 MB

english, 1987

18

Automated proofs of the moufang identities in alternative rings

Siva Anantharaman, Jieh Hsiang

Journal:

Journal of Automated Reasoning

Année:

1990

Langue:

english

Fichier:

PDF, 1.17 MB

english, 1990

19

On subsumption in distributed derivations

Maria Paola Bonacina, Jieh Hsiang

Journal:

Journal of Automated Reasoning

Année:

1994

Langue:

english

Fichier:

PDF, 1.25 MB

english, 1994

20

Parallelization of deduction strategies: An analytical study

Maria Paola Bonacina, Jieh Hsiang

Journal:

Journal of Automated Reasoning

Année:

1994

Langue:

english

Fichier:

PDF, 2.90 MB

english, 1994

21

On semantic resolution with lemmaizing and contraction and a formal treatment of caching

Maria Paola Bonacina, Jieh Hsiang

Journal:

New Generation Computing

Année:

1998

Langue:

english

Fichier:

PDF, 2.01 MB

english, 1998

22

Toward an integrated digital museum system – the Chi Nan experiences

Jen-Shin Hong, Bai-Hsuan Chen, Sheng-Hao Hung, Jieh Hsiang

Journal:

International Journal on Digital Libraries

Année:

2005

Langue:

english

Fichier:

PDF, 2.64 MB

english, 2005

23

Editorial

Jen-Shin Hong, Martin Doerr, Jieh Hsiang

Journal:

International Journal on Digital Libraries

Année:

2005

Langue:

english

Fichier:

PDF, 95 KB

english, 2005

24

The term rewriting approach to automated theorem proving

Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch

Journal:

The Journal of Logic Programming

Année:

1992

Langue:

english

Fichier:

PDF, 2.25 MB

english, 1992

25

Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities

Tzong-han Tsai, Wen-Chi Chou, Shih-Hung Wu, Ting-Yi Sung, Jieh Hsiang, Wen-Lian Hsu

Journal:

Expert Systems with Applications

Année:

2006

Langue:

english

Fichier:

PDF, 371 KB

english, 2006

26

Proving refutational completeness of theorem-proving strategies: the transfinite semantic tree method

Hsiang, Jieh, Rusinowitch, Michaël

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 1.83 MB

english, 1991

27

On the Modelling of Search in Theorem Proving— Towards a Theory of Strategy Analysis

Maria Paola Bonacina, Jieh Hsiang

Journal:

Information and Computation

Année:

1998

Langue:

english

Fichier:

PDF, 958 KB

english, 1998

28

An architecture and category knowledge for intelligent information retrieval agents

Hsieh-Chang Tu, Jieh Hsiang

Journal:

Decision Support Systems

Année:

2000

Langue:

english

Fichier:

PDF, 491 KB

english, 2000

29

Various criteria in the evaluation of biomedical named entity recognition

Richard Tzong-Han Tsai, Shih-Hung Wu, Wen-Chi Chou, Yu-Chun Lin, Ding He, Jieh Hsiang, Ting-Yi Sung, Wen-Lian Hsu

Journal:

BMC Bioinformatics

Année:

2006

Langue:

english

Fichier:

PDF, 278 KB

english, 2006

30

Paralytic toxins in four species of coral reef crabs from Kenting National Park in southern Taiwan

Ping-Ho Ho, Yung-Hsiang Tsai, Chiu-Chu Hwang, Pai-An Hwang, Jieh-Horng Hwang, Deng-Fwu Hwang

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 316 KB

english, 2006

31

Exploring alternative cyberbibliometrics for evaluation of scholarly performance in the social sciences and humanities in Taiwan

Tang, Muh-chyun, Wang, Chun-mei, Chen, Kuang-hua, Hsiang, Jieh

Journal:

Proceedings of the American Society for Information Science and Technology

Année:

2012

Langue:

english

Fichier:

PDF, 286 KB

english, 2012

32

A Direct and Polymer-Free Method for Transferring Graphene Grown by Chemical Vapor Deposition to Any Substrate

Lin, Wei-Hsiang, Chen, Ting-Hui, Chang, Jan-Kai, Taur, Jieh-I, Lo, Yuan-Yen, Lee, Wei-Li, Chang, Chia-Seng, Su, Wei-Bin, Wu, Chih-I

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 3.44 MB

english, 2014

33

The unique approach to institutional repository

Chen, Jin, Chen, Kuang‐hua, Hsiang, Jieh

Journal:

The Electronic Library

Année:

2009

Langue:

english

Fichier:

PDF, 462 KB

english, 2009

34

Transliteration Pair Extraction from Classical Chinese Buddhist Literature Using Phonetic Similarity Measurement

Wang, Yu-Chun, Wu, Chun-Kai, Tsai, Richard Tzong-Han, Hsiang, Jieh

Journal:

New Generation Computing

Année:

2013

Langue:

english

Fichier:

PDF, 940 KB

english, 2013

35

Chemistry of Bridging Ketene from Facile Carbonylation of a Ditungsten Methylene Complex with No Metal−Metal Bond

Yang, Yu-Lee, Wang, Luxti Jun-Jieh, Lin, Ying-Chih, Huang, Shou-Ling, Chen, Ming-Chou, Lee, Gene-Hsiang, Wang, Yu

Journal:

Organometallics

Année:

1997

Langue:

english

Fichier:

PDF, 212 KB

english, 1997

36

[IEEE International Conference on Information Technology: Research and Education, 2003. Proceedings. ITRE2003. - Neward, NJ, USA (2003.08.13-2003.08.13)] International Conference on Information Technology: Research and Education, 2003. Proceedings. ITRE2003. - A reasoning framework for heterogeneous XML

Yuh-Pyng Shieh,, Chung-Chen Chen,, Jieh Hsiang,

Année:

2003

Langue:

english

Fichier:

PDF, 533 KB

english, 2003

37

[IEEE IEEE/WIC/ACM International Conference on Web Intelligence (WI'04) - Beijing, China (20-24 Sept. 2004)] IEEE/WIC/ACM International Conference on Web Intelligence (WI'04) - A Logical Framework of Knowledge Retrieval with Fuzziness

Bee-Chung Chen,, Jieh Hsiang,

Année:

2004

Langue:

english

Fichier:

PDF, 136 KB

english, 2004

38

[IEEE 2011 44th Hawaii International Conference on System Sciences (HICSS 2011) - Kauai, HI (2011.01.4-2011.01.7)] 2011 44th Hawaii International Conference on System Sciences - Breathing New Life into Static Materials

Jieh Hsiang,, Lin, Shu-Fen H

Année:

2011

Langue:

english

Fichier:

PDF, 901 KB

english, 2011

39

[IEEE 2013 International Conference on Culture and Computing (Culture Computing) - Kyoto, Japan (2013.09.16-2013.09.18)] 2013 International Conference on Culture and Computing - On Mapping the Ontologies of Leishu - A Preliminary Investigation

Chung, Chia-Hsuan, Hsiang, Jieh

Année:

2013

Langue:

english

Fichier:

PDF, 180 KB

english, 2013

40

Exploring alternative metrics of scholarly performance in the social sciences and humanities in Taiwan

Chen, Kuang-hua, Tang, Muh-chyun, Wang, Chun-mei, Hsiang, Jieh

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 205 KB

english, 2015

41

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 914 || Problems in rewriting III

Année:

1995

Langue:

english

Fichier:

PDF, 895 KB

english, 1995

42

[Lecture Notes in Computer Science] Advances in Computing Science ASIAN 98 Volume 1538 || First-Class Contexts in ML

Hsiang, Jieh, Ohori, Atsushi

Année:

1998

Langue:

english

Fichier:

PDF, 334 KB

english, 1998

43

Artificial Neural Network Model Is Superior to Logistic Regression Model in Predicting Treatment Outcomes of Interferon-Based Combination Therapy in Patients with Chronic Hepatitis C

Wang, Chun-Hsiang, Mo, Lein-Ray, Lin, Ruey-Chang, Kuo, Jen-Juan, Chang, Kuo-Kuan, Wu, Jieh-Jen

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 177 KB

english, 2008

44

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 914 || Generating polynomial orderings for termination proofs

Année:

1995

Langue:

english

Fichier:

PDF, 364 KB

english, 1995

45

Contractor Costs of Factoring Account Receivables for a Construction Project

Chen, Jieh-Haur, Chen, Wei-Hsiang

Journal:

Journal of Civil Engineering and Management

Année:

2012

Langue:

english

Fichier:

PDF, 488 KB

english, 2012

46

Graphene Anodes and Cathodes: Tuning the Work Function of Graphene by Nearly 2 eV with an Aqueous Intercalation Process

Chang, Jan-Kai, Lin, Wei-Hsiang, Taur, Jieh-I, Chen, Ting-Hao, Liao, Guo-Kai, Pi, Tun-Wen, Chen, Mei-Hsin, Wu, Chih-I

Journal:

ACS Applied Materials & Interfaces

Année:

2015

Langue:

english

Fichier:

PDF, 2.99 MB

english, 2015

47

[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - A digital museum of Taiwanese butterflies

Hong, Jen-Shin, Chen, Herng-Yow, Hsiang, Jieh

Année:

2000

Langue:

english

Fichier:

PDF, 24 KB

english, 2000

48

[ACM Press the 21st ACM international conference - Maui, Hawaii, USA (2012.10.29-2012.11.02)] Proceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12 - Information preservation in static index pruning

Chen, Ruey-Cheng, Lee, Chia-Jung, Tsai, Chiung-Min, Hsiang, Jieh

Année:

2012

Langue:

english

Fichier:

PDF, 356 KB

english, 2012

49

[ACM Press the first ACM/IEEE-CS joint conference - Roanoke, Virginia, United States (2001..-..)] Proceedings of the first ACM/IEEE-CS joint conference on Digital libraries - JCDL '01 - Content management for digital museum exhibitions

Hong, Jen-Shin, Chen, Bai-Hsuen, Hsiang, Jieh, Hsu, Tien-Yu

Année:

2001

Langue:

english

Fichier:

PDF, 84 KB

english, 2001

50

SPECIAL ISSUE ON ADVANCES IN COMPUTING SCIENCE — ASIAN '98

HSIANG, JIEH, OHORI, ATSUSHI

Journal:

International Journal of Foundations of Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 95 KB

english, 2000